\begin{tabbing}
(\=(Unfold `l\_all` ({-}2)) \+
\\[0ex]CollapseTHEN (((InstHyp[$u$] ({-}2)) 
\-\\[0ex]CollapseTHENA (Auto$\cdot$))$\cdot$))$\cdot$
\end{tabbing}